Lukasiewicz and Modal Logic
نویسنده
چکیده
Lukasiewicz's four-valued modal logic is surveyed and analyzed.
منابع مشابه
{\L}ukasiewicz {\mu}-calculus
The paper explores properties of the Lukasiewicz μ-calculus, or Lμ for short, an extension of Lukasiewicz logic with scalar multiplication and least and greatest fixed-point operators (for monotone formulas). We observe that Lμ terms, with n variables, define monotone piecewise linear functions from [0, 1]n to [0, 1]. Two effective procedures for calculating the output of Lμ terms on rational i...
متن کاملFinite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete
It is well-known that satisfiability (and hence validity) in the minimal classical modal logic is a PSPACE-complete problem. In this paper we consider the satisfiability and validity problems (here they are not dual, although mutually reducible) for the minimal modal logic over a finite Lukasiewicz chain, and show that they also are PSPACE-complete. This result is also true when adding either t...
متن کاملn×m−valued Lukasiewicz-Moisil algebras with two modal operators
In 2000, Figallo and Sanza introduced the n×m−valued Lukasiewicz-Moisil algebras, which are a particular case of Matrix Lukasiewicz algebras, and a nontrivial generalization of n−valued Lukasiewicz-Moisil algebras. Here we start a research on the class of n × m−valued Lukasiewicz-Moisil algebras endowed with two modal operators (or 2mLMn×m−algebras). These algebras constitute a common generaliz...
متن کاملTitle Fuzzy Topology and Łukasiewicz Logics from the
This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Lukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the al...
متن کاملA Duality for the Algebras of a Lukasiewicz n + 1-valued Modal System
In this paper, we develop a duality for the varieties of a Lukasiewicz n + 1-valued modal system. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as completeness results, correspondence theory. . . ) are the derived and we propose some ideas for future research.
متن کامل